软件静态测试可以分为静态分析和代码走查，其中静态分析主要对程序进行控制流分析、( )、接口分析和表达式分析等。